explicit reciprocity law

[计] 明显互反律